 |
0 索取号:TP301-53/E991/1986 作者:Symposium on Logic in Computer Science (1986 : Cambridge、 Mass.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、ACM Special Interest Group for Automata and Computability Theory.、Association for Symbolic Logic.、European Association for Theoretical Computer Science.、 出版社:Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.
|  |
0 索取号:TP301/E903 作者:Scott、 Norman R. (Norman Ross)、 1918-、 出版社:Englewood Cliffs, NJ : Prentice-Hall, 1985.
|
 |
0 索取号:O24-53/E803/13 作者:ACM Symposium on Theory of Computing (13th : 1981 : Milwaukee、 Wis.)、ACM Special Interest Group for Automata and Computability Theory.、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、University of Wisconsin--Milwaukee. Dept. of Electrical Engineering and Computer Science.、 出版社:New York, N.Y. : ACM ; Baltimore, MD : Additional copies may be orderd from ACM Order Dept., 1981.
|  |
0 索取号:TP30-53/E801 作者: 出版社:[New York : Institute of Electrical and Electronics Engineers], 1976.
|
 |
0 索取号:TP3-65/E901 作者:Computer Standards Conference (1986 : San Francisco、 Calif.)、IEEE Computer Society.、 出版社:N.Y. Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, c1986.
|  |
0 索取号:TP312-53/E901/1979 作者:Symposium on Language Design and Programming Methodology (1979 : Sydney、 N.S.W.)、Goos、G.、Tobias、 Jeffrey M.、 1953-、Australian Atomic Energy Commission.、University of New South Wales.、 出版社:Berlin ; New York : Springer-Verlag, 1980.
|
 |
0 索取号:TP303/E808 作者:Bochmann、 Gregor von、 1941-、 出版社:Berlin ; New York : Springer-Verlag, 1979.
|  |
0 索取号:TP3-55/E805 作者:European Cooperation in Informatics (Organization).、Bracchi、 G. (Giampio)、 1944-、Lockemann、 P. C.、 出版社:Berlin ; New York : Springer-Verlag, 1978.
|
 |
0 索取号:TP3-53/E8014/1978 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (7th : 1978 : Zakopane、 Poland)、Winkowski、 J́Оzef、 1934-、 出版社:Berlin ; New York : Springer-Verlag, 1978.
|  |
0 索取号:TP317-53/E801/1976 作者:Workshop on the Portability of Numerical Software、 Oak Brook、 Ill.、 1976.、Cowell、 Wayne R.、 1926-、Argonne National Laboratory.、 出版社:Berlin ; New York : Springer-Verlag, 1977.
|
 |
0 索取号:TP3-53/E8014/1977 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (6th : 1977 : TatransḱА Lomnica、 Czechoslovakia)、Gruska、 Jozef.、 出版社:Berlin ; New York : Springer-Verlag, 1977.
|  |
0 索取号:TP312-53/E801/1975 作者:Symposium on Methods for the Implementation of Algorithmic Languages、 Novosibirsk、 1975.、Ershov、 A. P. (AndrĕИ Petrovich)、Koster、 C. H. A. (Cornelis H. A.)、 1943-、 出版社:Berlin ; New York : Springer-Verlag, 1977.
|
 |
0 索取号:TP3-53/E8018/4 作者:Informatik Symposium (4th : 1974 : Wildbad im Schwarzwald、 Ger.)、Hackl、 Clemens E.、IBM Deutschland.、IBM World Trade Corporation.、 出版社:Berlin ; New York : Springer-Verlag, 1975.
|  |
0 索取号:TP3-53/E9035/1983 作者:Symposium on Security and Privacy (1983 : Oakland、 Calif.)、IEEE Computer Society. Technical Committee on Security and Privacy.、 出版社:N.Y. Silver Spring, MD : IEEE Computer Society Press, 1983,c1984.
|
 |
0 索取号:TP3-53/E902 作者:IMACS World Congress on Systems Simulation and Scientific Computation (10th : 1982 : MontŕЕal、 QúЕbec)、Ruschitzka、 Manfred.、 出版社:Amsterdam [Netherlands] ; New York : North Holland Pub. Co. : Sole Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983.
|  |
0 索取号:TP3-53/E9024/1986 作者:International Workshop on Parallel Algorithms & Architectures (1st : 1986 : Centre national de rencontres math́Еmatiques)、Cosnard、 M. (Michel)、 出版社:Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986.
|